Nuprl Definition : minus def 13,42
-n is Primitive 
latex

Upcore 1, core 1

origin